A multi-formalism approach for model-based dynamic distribution of user interfaces of critical interactive systems.

International audienceEvolution in the context of use requires evolutions in the user interfaces even when they are currently used by operators. User Centered Development promotes reactive answers to this kind of evolutions either by software evolutions through iterative development approaches or at runtime by providing additional information to the operators such as contextual help for instance. This paper proposes a model-based approach to support proactive management of context of use evolutions. By proactive management we mean mechanisms in place to plan and implement evolutions and adaptations of the entire user interface (including behaviour) in a generic way. The approach proposed handles both concentration and distribution of user interfaces requiring both fusion of information into a single UI or fission of information into several ones. This generic model-based approach is exemplified on a safety critical system from space domain. It presents how the new user interfaces can be generated at runtime to provide a new user interface gathering in a single place all the information required to perform the task. These user interfaces have to be generated at runtime as new procedures (i.e. sequences of operations to be executed in a semi-autonomous way) can be defined by operators at any time in order to react to adverse events and to keep the space system in operation. Such contextual, activity-related user interfaces complement the original user interfaces designed for operating the command and control system. The resulting user interface thus corresponds to a distribution of user interfaces in a focus+context way improving usability by increasing both efficiency and effectiveness

Improving modularity of interactive software with the MDPC Architecture

International audienceThe "Model - Display view - Picking view - Controller" model is a refinement of the MVC architecture. It introduces the "Picking View" component, which offloads the need from the controller to analytically compute the picked element. We describe how using the MPDC architecture leads to benefits in terms of modularity and descriptive ability when implementing interactive components. We report on the use of the MDPC architecture in a real application : we effectively measured gains in controller code, which is simpler and more focused

Bridging the Gap between a Behavioural Formal Description Technique and User Interface description language: Enhancing ICO with a Graphical User Interface markup language

International audienceIn the last years, User Interface Description Languages (UIDLs) appeared as a suitable solution for developing interactive systems. In order to implement reliable and efficient applications, we propose to employ a formal description technique called ICO (Interactive Cooperative Object) that has been developed to cope with complex behaviours of interactive systems including event-based and multimodal interactions. So far, ICO is able to describe most of the parts of an interactive system, from functional core concerns to fine grain interaction techniques, but, even if it addresses parts of the rendering, it still not has means to describe the effective rendering of such interactive system. This paper presents a solution to overcome this gap using markup languages. A first technique is based on the Java technology called JavaFX and a second technique is based on the emergent UsiXML language for describing user interface components for multi-target platforms. The proposed approach offers a bridge between markup language based descriptions of the user interface components and a robust technique for describing behaviour using ICO modelling. Furthermore, this paper highlights how it is possible to take advantage from both behavioural and markup language description techniques to propose a new model-based approach for prototyping interactive systems. The proposed approach is fully illustrated by a case study using an interactive application embedded into interactive aircraft cockpits

Engajamento Político Transnacional e a Incorporação Cívica de Imigrantes Mexicanos nos Estados Unidos

Many migrants to the U.S. are engaged in public affairs in their country of origin. Whether such engagement impedes or encourages engagement in American politics remains an open question. Drawing from a unique two-wave panel survey of Mexican immigrants conducted in 2006, with surveys waves fielded to correspond to national elections in Mexico and the United States, we examine the relationship between transnational political engagement and attentiveness to American politics. The findings indicate that remote political engagement in Mexican politics is not a barrier to incorporation in the U.S. context. On the contrary, engagement in Mexican campaigns can stimulate interest and participation in U.S. elections.Muchos de los migrantes a los Estados Unidos se involucran en la vida cívica de su país de origen. Es pregunta abierta si tal participación impide o promueve la participación en la política norteamericana. Utilizando datos de una encuesta de inmigrantes mexicanos en dos olas llevadas a cabo en 2006, coordinadas con las elecciones nacionales en México y los Estados Unidos, investigamos la relación entre la participación política trasnacional y la atención a la política norteamericana. Los hallazgos señalan que la participación en la política mexicana no es obstáculo a la incorporación cívica en el contexto norteamericano. Al contrario, la atención a las campañas mexicanas puede estimular el interés y la participación en las elecciones estadunidenses.Muitas pessoas que migram para os Estados Unidos continuam engajadas em assuntos públicos em seu país de origem, mas não está claro se esse engajamento impede ou incentiva o envolvimento na política americana. O presente estudo examina a relação entre o engajamento político transnacional e a atenção à política americana, com base em uma pesquisa de painel de duas ondas realizada com imigrantes mexicanos em 2006. As duas ondas da pesquisa correspondem às eleições nacionais no México e nos Estados Unidos. Os resultados indicam que o engajamento à distância na política mexicana não é uma barreira para a incorporação no contexto dos Estados Unidos. Pelo contrário, o engajamento em campanhas mexicanas pode estimular o interesse e a participação nas eleições americanas

Systematic automation of scenario-based testing of user interfaces

Ensuring the effectiveness factor of usability consists in ensuring that the application allows users to reach their goals and perform their tasks. One of the few means for reaching this goal relies on task analysis and proving the compatibility between the interactive application and its task models. Synergistic execution enables the validation of a system against its task model by co-executing the system and the task model and comparing the behavior of the system against what is prescribed in the model. This allows a tester to explore scenarios in order to detect deviations between the two behaviors. Manual exploration of scenarios does not guarantee a good coverage of the analysis. To address this, we resort to model-based testing (MBT) techniques to automatically generate scenarios for automated synergistic execution. To achieve this, we generate, from the task model, scenarios to be co-executed over the task model and the system. During this generation step we explore the possibility of including considerations about user error in the analysis. The automation of the execution of the scenarios closes the process. We illustrate the approach with an example.José Campos acknowledges support from project "NORTE01-0145-FEDER-000016", financed by the North Portugal Regional Operational Programme (NORTE 2020), under the PORTUGAL 2020 Partnership Agreement, and through the European Regional Development Fund (ERDF

Modelling and Analysing Mixed Reality Applications

International audienceMixed reality systems overlay real data with virtual information in order to assist users in their current task. They generally combine several hardware components operating at different time scales, and software that has to cope with these timing constraints. MIRELA, for MIxed REality LAnguage, is a framework aimed at modelling, analysing and implementing systems composed of sensors, processing units, shared memories and rendering loops, communicating in a well-defined manner and submitted to timing constraints. The framework is composed of (i) a language allowing a high level, and partially abstract, specification of a concurrent real–time system, (ii) the corresponding semantics, which defines the translation of the system to concrete networks of timed automata, (iii) a methodology for analysing various real-time properties, and (iv) an implementation strategy. We present here a summary of several of our papers about this framework, as well as some recent extensions concerning probability and non–deterministic choices

(R)-β-lysine Modified Elongation Factor P Functions in Translation Elongation

Post-translational modification of bacterial elongation factor P (EF-P) with (R)-β-lysine at a conserved lysine residue activates the protein in vivo and increases puromycin reactivity of the ribosome in vitro. The additional hydroxylation of EF-P at the same lysine residue by the YfcM protein has also recently been described. The roles of modified and unmodified EF-P during different steps in translation, and how this correlates to its physiological role in the cell, have recently been linked to the synthesis of polyproline stretches in proteins. Polysome analysis indicated that EF-P functions in translation elongation, rather than initiation as proposed previously. This was further supported by the inability of EF-P to enhance the rate of formation of fMet-Lys or fMet-Phe, indicating that the role of EF-P is not to specifically stimulate formation of the first peptide bond. Investigation of hydroxyl-(β)-lysyl-EF-P showed 30% increased puromycin reactivity but no differences in dipeptide synthesis rates when compared with the β-lysylated form. Unlike disruption of the other genes required for EF-P modification, deletion of yfcM had no phenotypic consequences in Salmonella. Taken together, our findings indicate that EF-P functions in translation elongation, a role critically dependent on post-translational β-lysylation but not hydroxylation

H-NS binds with high affinity to the Tn10 transpososome and promotes transpososome stabilization

H-NS is a bacterial DNA-binding protein that regulates gene expression and DNA transposition. In the case of Tn10, H-NS binds directly to the transposition machinery (i.e. the transpososome) to influence the outcome of the reaction. In the current work we evaluated the binding affinity of H-NS for two forms of the Tn10 transpososome, including the initial folded form and a pre-unfolded form. These two forms differ in that IHF is bound to the former but not the latter. IHF binding induces a bend (or fold) in the transposon end that facilitates transpososome formation. However, the continued presence of IHF in the transpososome inhibits intermolecular transposition events. We show that H-NS binds particularly strongly to the pre-unfolded transpososome with an apparent Kd of ∼0.3 nM. This represents the highest affinity interaction between H-NS and a binding partner documented to date. We also show that binding of H-NS to the transpososome stabilizes this structure and propose that both high-affinity binding and stabilization result from the combined interaction between H-NS and DNA and H-NS and transposase within the transpososome. Mechanistic implications for tight binding of H-NS to the transpososome and transpososome stabilization are considered